Section: Dissemination
Promoting Scientific Activities
Scientific Events Organisation
General Chair, Scientific Chair
Scientific Events Selection
Member of the Conference Program Committees
-
Matthias Függer was a member of the PC of DDECS'17.
-
Stefan Haar was a member of the PCs of the conferences MSR 2017 and ACSD 2017 and of the workshop ATAED 2017.
-
Serge Haddad was a PC member of the International Workshop on Petri Nets and Software Engineering (PNSE) 2017 at Zaragoza, Spain, and of the 11th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS) 2017 at Montreal, Québec, Canada. He was also a member of the scientific committee of Ecole d'été temps-réel (ETR 2017).
Reviewer
-
Matthias Függer was a reviewer for ICALP, DISC, FMCAD, ICDCN,and OPODIS.
-
Stefan Schwoon was a reviewer for the following conferences taking place in 2017: STACS, TACAS, ESOP, ATVA, and FSTTCS.
Journal
Member of the Editorial Boards
-
Stefan Haar is associate editor of the Journal of Discrete Event Dynamic Systems: Theory and Applications.
Reviewer - Reviewing Activities
-
Thomas Chatain was a reviewer for Acta Informatica, Artificial Intelligence and Journal of Discrete Event Dynamic Systems.
-
Stefan Haar was a reviewer for MSCS and IEEE Transations on Automatic Control.
-
Stefan Schwoon was a reviewer for Fundamenta Informaticae, International Journal on Software Tools for Technology Transfer, and the Journal of Discrete Event Dynamic Systems.
Invited Talks
-
Laurent Fribourg gave the following invited talk: "Euler’s Method Applied to the Control of Switched Systems", at 15th International Conference on Formal Modelling and Analysis of Timed Systems, Berlin, 2017
-
Matthias Függer gave invited talks at the Theory of Hardware seminar in Vienna in February, the Noon seminar at Max-Planck Institute for Informatics in April, and the Distributed Computing Seminar at Labri in November.
-
Serge Haddad gave the following invited talks:
-
at Centre Fédéré en Vérification, Bruxelles, Belgique on February 24, 2017, entitled From Continuous Petri nets to Petri nets and Back;
-
at LACL, Créteil on February 27, 2017, entitled Probabilistic Disclosure: Maximisation vs. Minimisation
-
at the MSR 2017 conference, Marseille, France, on November 16, 2017, entitled Réseaux de Petri discrets et continus : apports réciproques.
-
-
Claudine Picaronny gave an invited talk on 'Vérification probabiliste, numérique ou statistique', on the 21th of april 2017 at Alea 17, CIRM Marseille, France
Scientific Expertise
-
Serge Haddad was expert for the evaluation of the researcher premiums at University Pierre et Marie Curie
Research Administration
-
Stefan Haar is the president of Inria's GTRI-COST committee for international relations, and the head of the SciLex (Software Reliability and Security) axis of the LABEX DIGICOSME, and ipso facto a member of DIGICOSME's executive committee and scientific commission.
-
Serge Haddad was the president of the HCERES evaluation committee of the laboratory LIAS, Poitiers.